This paper introduces a natural deduction calculus for intuitionistic logic of belief \ which is easily turned into a modal \-calculus giving a computational semantics for deductions in \. By using that interpretation, it is also proved that \ has good proof-theoretic properties. The correspondence between deductions and typed terms is then extended to a categorical semantics for identity of proofs in \ showing the general structure of such a modality for belief in an intuitionistic framework.

Scientists typically use a variety of representations, including different kinds of figures, to present and defend hypotheses. In order to understand the justification of scientific hypotheses, it is essential to understand how visual representations contribute to scientific arguments. Since the logical understanding of arguments involves the truth or falsity of the representations involved, visual representations must have the capacity to bear truth in order to be genuine components of arguments. By drawing on Goodman's analysis of symbol systems, and on Tarski's (...) work on truth, I show that the figures used in science meet this criterion. (shrink)

Publications in contemporary science journals often include figures like graphs, diagrams, photographs, and MRIs, which are presented as support for the hypothesis the author is defending. As a first step to explaining how figures contribute to confirmation, I present an account of visual representation and use examples to show how the visual format is involved in the support those figures provide the authors’ conclusions. I then show that attempts to explain what figures contribute to scientific arguments without analyzing them as (...) visual representations will not succeed. (shrink)

Cet ouvrage dédié à trois pionnières américaines de l’histoire de la médecine et de l’histoire des femmes, Caroline Walker Bynum, Joan Cadden et Nancy G. Siraisi, est la traduction française du dernier ouvrage, paru à New York en 2006, de Katharine Park, professeur d’histoire des sciences et de women’s studies à Harvard. K. Park est célèbre entre autres pour son ouvrage sur les médecins et la médecine à Florence au début de la Renaissance. Tout en continuant de privilégier l’étude de (...) la prati... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Dark Matters: Pessimism and the Problem of Suffering by Mara van der LugtStefano BrogiMara van der Lugt. Dark Matters: Pessimism and the Problem of Suffering. Princeton, NJ: Princeton University Press, 2021. Pp. xi + 450. Hardback, $37.00.Mara van der Lugt's book (awarded Honorable Mention for the JHP Book Prize in 2022) has the merit of bringing attention to some crucial yet often overlooked topics by providing a contribution (...) that cannot fail to elicit broad interest. Her book does not simply discuss the theodicy and anti-theodicy of the modern age; against this background, she also brings out the often-ignored tradition of philosophical pessimism. What interests van der Lugt, however, is not "future-oriented" pessimism, which is opposed to "progressivist" theories of history, but an ontological or "value-oriented" pessimism that stresses "the terrible side of [End Page 163] life" in order to answer a series of crucial questions in a way very different from Leibniz's or Pope's approaches: Are there more evils than goods in our lives? Is life worth living for all of us, for any of us? Why do some people choose death despite their blessings? Why do some people choose life despite their sufferings? Do animals suffer as we do? Are we responsible for our own happiness? Is it better never to have been? According to van der Lugt, "The various ways in which these questions have been answered throughout the centuries have created the competing philosophical traditions known as optimism and pessimism. This book traces the intersection of the debate on the problem of evil with the debate on pessimism from the late seventeenth century onwards, seeking throughout to evaluate pessimism on its own terms" (20).A reassessment of this kind of pessimism serves an explicitly theoretical and moral purpose: van der Lugt herself states that her book is not exclusively a contribution to the history of philosophy, but "partly ethical or evaluative" (18). Indeed, pessimism and optimism "go hand in hand": they stem from a moral need and aim to respond to the evil present in the world by opening up glimmers of "hope, compassion, and consolation" (12, emphasis in original). Pessimism, in particular, is not intended to be "a philosophy of despair"; rather, it draws its strength from an "ethical commitment." Stemming from the latter is a tradition that "may be reinterpreted as a moral source" (22) and which "has not only its own epistemological and methodological concerns and presuppositions but, crucially, its own sets of virtues and moral aims" (13).The theoretical/moral purpose of Dark Matters is evident through its unfolding, even though eight of its nine chapters are roughly devoted to providing an accurate historical-philosophical reconstruction. Here, in brief, are the titles of the chapters that make up the over four hundred pages of this volume, which provide a good idea of the main authors discussed: (1) "The Complaint: Bayle and Malebranche on Physical Evil"; (2) "The Optics of Optimism: Leibniz and King Respond to Bayle"; (3) "Of Hope and Consolation: Voltaire and the Deists"; (4) "When Stoicism Meets Pessimism: La Mettrie and Maupertuis"; (5) "The Dispositional Problem of Evil: David Hume"; (6) "The Art of Suffering: Jean-Jacques Rousseau"; (7) "The Failure of Theodicy: Immanuel Kant"; (8) "The Flute-Playing Pessimist: Arthur Schopenhauer"; and (9) "Dark Matters: Pessimism as a Moral Source." To some extent, the rich itinerary provided by van der Lugt may be compared to those studies that have long undermined the idea of a monolithic and compact Enlightenment, characterized by unlimited faith in reason and its potential for liberation, and—more specifically—by a fundamental optimism with regard to human nature and the possibility of reformulating social and political structures in such a way as to enable each person to pursue happiness. However, the historical reconstruction provided here is based on an attempt to bring out the recurrent theoretical core of a philosophical perspective that first emerges with Pierre Bayle and runs through the modern and contemporary age, resurfacing in an evident way in the present-day antinatalism of David Benatar (often cited in the footnotes).According to van der Lugt, it is with Bayle (and not... (shrink)

The correlation between dialogue and religion, both as conceptual apparatuses and as current practices, has had a long history. The purpose of this essay is to isolate one such instance – the “critical dialogue” taking place amongst scholars of religions – which involves also the dialogue scholars establish with their field of study and/or a given religious tradition. Following a brief clarification of terminology used, I will proceed to discuss concrete examples of critical dialogue within the Study of Religions and (...) how this might be enhanced. Finally, I will draw some partial conclusions which might pave the way for this critical dialogue to improve and continue. (shrink)

This introductory chapter sets out the rationale for the ensuing chapters and their division into different parts. It also provide an overall and comprehensive prologue to the Gramsci-Ambedkar encounter. Indeed, "parallels are strong and very striking for two thinkers who are otherwise so different - in political experience, philosophical background and ideas of effective strategy" (Jon Soske, personal communication). Nevertheless, the moral fabric of their political commitment to Dalits/subalterns bring them very close, particularly in the upholding of Gramsci's 'intellectual and (...) moral reform' and Ambedkar's 'social and moral consciousness of society'. (shrink)

Les trente et un articles composant ce volume dédié à Paulette L’Hermite-Leclercq sont regroupés sous cinq rubriques, et il faut saluer d’emblée le travail de P. Henriet et A.‑M. Legras, qui ont proposé ici un découpage aussi fidèle au parcours intellectuel de celle qu’ils voulaient ainsi honorer, qu’exempt de tout parfum d’artifice. La première partie réunit des études analysant différents « Regards masculins sur la femme », observés d’après des lieux attendus comme l’exégèse ou la pensée sc...

Molecular biologists and biochemists often use diagrams to present hypotheses. Analysis of diagrams shows that their content can be expressed with linguistic representations. Why do biologists use visual representations instead? One reason is simple comprehensibility: some diagrams present information which is readily understood from the diagram format, but which would not be comprehensible if the same information was expressed linguistically. But often diagrams are used even when concise, comprehensible linguistic alternatives are available. I explain this phenomenon by showing why diagrammatic (...) representation is especially well suited for a particular kind of explanation common in molecular biology and biochemistry: namely, functional analysis, in which a capacity of the system is explained in terms of capacities of its component parts. (shrink)

When and why do we need the indexical ‘I’? Perry (1979) thinks that ‘I’ is an essential ingredient to the explanation and prediction of action. We need ‘I’ to classify the kind of belief that causes an agent to produce a new action. In his view, classifying the agent’s belief in terms of ‘I’ makes sense because, when asked to explain her behavior, the agent will be disposed to say ‘I’. Here, we argue that this dispositional assumption is problematic. The (...) disposition to act according to an essential indexical and the disposition to make a speech act that contains ‘I’ are two very different things that are not always related. The most common circumstances in which we need to say ‘I’ to explain ourselves involve other agents: when we coordinate in joint actions or when we engage in self-talk to save face before the eyes of potential witnesses. Finally, we revisit Perry’s famous messy shopper anecdote to offer a better story about why its main character is disposed to say ‘I’. (shrink)